body {

    font-family: Arial, Helvetica, sans-serif;
    font-size: 83%;
    color: #333333;
}

pre {
    font-size: 110%;
}

h1 {
    padding-left: 0.3em;
}

h1 div {
    padding-left: 8em;
    font-size: 0.45em;
    color: #666666;
}

h2 {
    border-top: 1px solid #3366cc;
    background-color: #e5ecf9;
    color: black;
    font-size: 110%;
}

.time {
    padding-top: 0.2em;
    padding-right: 0.2em;
    font-weight: normal;
    font-size: 100%;
    float: right;
}

h3 {
/*border-top: 1px solid #3366cc;*/
    color: red;
    font-size: 90%;
}

h4 {
/*border-top: 1px solid #3366cc;*/
    color: orange;
    font-size: 90%;
}

.menu {
    margin-top: -0.5em;
    padding-right: 1em;
    float: right;
}

p {
    margin-top: -2em;
    margin-right: 1em;
    text-align: right;
    font-size: 88%;
    font-style: italic;
}

p a {
    font-style: normal;
}

span.errors-footer {
    color: black;
    font-weight: bold;
}

.label {
    font-weight: bold;
    color: black;
    font-size: 93%;
}

.data {
    font-family: monospace;
    font-size: 110%;
}

.rounded_ul {
    background: url( images/ul.gif ) no-repeat top left;
}

.rounded_ur {
    background: url( images/ur.gif ) no-repeat top right;
}

.rounded_ll {
    background: url( images/ll.gif ) no-repeat bottom left;
}

.rounded_lr {
    background: url( images/lr.gif ) no-repeat bottom right;
}

.box {
    margin-top: 1px;
    margin-right: 2em;

    display: block;
    /*float: right;*/
    background: #e5ecf9;
}

.box-content {
    width: 300px;

    padding: 0.4em;
    text-align: left;
}

.box-content th, .box-content td {
    vertical-align: top;
}

.box-content ul {
    padding: 0;
    margin: 0;
}

.box-content li {
    padding: 0 0 2px 0;
    list-style-type: none;
}

.expandable {
    margin: 1em;
    border: #e5ecf9 solid 1px;
}

.gwt-TabBar {
    border-bottom: #c3d9ff solid 4px;
}

.gwt-TabBar .gwt-TabBarFirst {
}

.gwt-TabBar .gwt-TabBarRest {
}

.tab-background {
    background: #e5ecf9;
    margin-right: 0.8em;
}

.tab-button {
    padding-top: 0.4em;
    padding-bottom: 0.4em;
    padding-left: 1.0em;
    padding-right: 1.0em;

    font-weight: bold;
    color: black;
}

.tab-button-selected {
    background: #c3d9ff url( images/ul.gif ) no-repeat top left;
}
